erlang/spec
2
0
Fork 0
mirror of https://github.com/erlang/spec.git synced 2026-04-15 01:13:34 +00:00
Code Issues Projects Releases Wiki Activity

Make it build again

Browse Source
This commit is contained in:
Rickard Green
2017-12-01 14:20:55 +01:00
parent 0922a72098
commit 45b474d8a0
1 changed files with 11 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
bin/fixpoint
View File

@@ -55,12 +55,18 @@ while [ $changed = true ]; do
eval $cmd 1>/dev/null 2>/dev/null
changed=false
for f in $files; do
[ -e "$f" ] || { echo "Missing $f" 1>&2; exit 1; }
if [ -e "$f.prev" ]; then
diff "$f" "$f.prev" 1>/dev/null 2>/dev/null || changed=true
if [ -e "$f" ]; then
if [ -e "$f.prev" ]; then
diff "$f" "$f.prev" 1>/dev/null 2>/dev/null || changed=true
else
changed=true
fi
cp "$f" "$f.prev"
else
changed=true
if [ -e "$f.prev" ]; then
changed=true
rm "$f.prev"
fi
fi
cp "$f" "$f.prev"
done
done