chiark / gitweb /
bugfix, fix reuse
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 28 Feb 2019 12:36:59 +0000 (12:36 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 28 Feb 2019 12:36:59 +0000 (12:36 +0000)
maybe-rerun-optim

index 23331e96e52ba566b67d0f0af01a1233b1aa51f2..ce28614a7b6ab9a71e29aeb5bf76ed9fc5d6c976 100755 (executable)
@@ -11,7 +11,7 @@ sums=$1               ; shift
 inst () { mv -vf $dest.tmp $dest; }
 
 if test -f $dest.reuse; then
-       cp -v $@.reuse $@.tmp
+       cp -v $dest.reuse $dest.tmp
        inst
        exit 0
 fi