git/export: don't try to diff dirs

This commit is contained in:
Ori Bernstein 2024-10-03 15:36:43 +00:00
parent 8e301036fa
commit d8973bdc75

View file

@ -66,10 +66,10 @@ for(c in $commits){
echo diff `{basename $pp} `{basename $cp}
for(f in $fc){
a=a/$f
if(! test -e $a)
if(! test -f $a)
a=/dev/null
b=b/$f
if(! test -e $b)
if(! test -f $b)
b=/dev/null
diff -ur $a $b
}