use $DIFF instead of diff

This commit is contained in:
Evan Hunt
2019-01-22 16:29:34 -08:00
parent d3d106b82c
commit def7574b1e
5 changed files with 40 additions and 40 deletions

View File

@@ -2689,7 +2689,7 @@ awk '{
for (i=7;i<=NF;i++) printf("%s", $i);
printf("\n");
}' < ns1/dsset-algroll$TP > canonical2.$n || ret=1
diff -b canonical1.$n canonical2.$n > /dev/null 2>&1 || ret=1
$DIFF -b canonical1.$n canonical2.$n > /dev/null 2>&1 || ret=1
n=$((n+1))
test "$ret" -eq 0 || echo_i "failed"
status=$((status+ret))