merge #5521: give fetchgit outputs nicer names

2015-01-13 17:46:44 +01:00
parent 995c9db5e6 3dfd87d7af
commit 7637e71cee
8 changed files with 27 additions and 18 deletions
@@ -33,10 +33,10 @@ let
      postPatch = ''
        export wineDir=$(pwd)
        patchShebangs $wineDir/tools/
-	chmod u+w $wineDir/../git-export/debian/tools/
-        patchShebangs $wineDir/../git-export/debian/tools/
-        chmod -R +rwx ../git-export/
-        make -C ../git-export/patches DESTDIR=$wineDir install
+        chmod u+w $wineDir/../${wine_patches.name}/debian/tools/
+        patchShebangs $wineDir/../${wine_patches.name}/debian/tools/
+        chmod -R +rwx ../${wine_patches.name}/
+        make -C ../${wine_patches.name}/patches DESTDIR=$wineDir install
      '';
    });