From 45b474d8a0a2985f5c7e1c5d79d00c592fd7efc3 Mon Sep 17 00:00:00 2001
From: Rickard Green <rickard@erlang.org>
Date: Fri, 1 Dec 2017 14:20:55 +0100
Subject: [PATCH] Make it build again

---
 bin/fixpoint | 16 +++++++++++-----
 1 file changed, 11 insertions(+), 5 deletions(-)

diff --git a/bin/fixpoint b/bin/fixpoint
index 7d989a8..129f4d6 100755
--- a/bin/fixpoint
+++ b/bin/fixpoint
@@ -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