ocrd-make: copy/symlink newer versions of the script

bertsky · Jun 3, 2020 · 91a1384 · 91a1384
1 parent fac8b72
commit 91a1384
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ocrd-make b/ocrd-make
@@ -24,7 +24,7 @@ function process {
         for f in *.mk Makefile;do
             local src="$SHAREDIR/$f"
             local dst="$CURDIR/$f"
-            if [[ -e "$dst" ]];then
+            if [[ ! -e "$dst" || "$src" -nt "$dst" ]];then
                 continue
             fi
             ln -s "$src" "$dst" 2>/dev/null || cp -f "$src" "$dst"