diff options
| -rwxr-xr-x | tools/extract-api.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/extract-api.sh b/tools/extract-api.sh index d9141f8..6ec77ca 100755 --- a/tools/extract-api.sh +++ b/tools/extract-api.sh @@ -37,7 +37,7 @@ for header in \ if [ -f $PREV/$F ]; then diff -u0 $PREV/$F $CURRENT/$F > $P/$F-diff N=$(cat $P/$F-diff | wc -l) - [ $N -eq 0 ] && rm $P/$F-diff + [ $N -eq 0 ] && rm $P/$F-diff || echo "see $P/$F-diff" fi done # |