Diff of /make-config.sh [fe6da9] .. [9f53ac] Maximize Restore

  Switch to side-by-side view

--- a/make-config.sh
+++ b/make-config.sh
@@ -207,6 +207,10 @@
 EOF
   exit 1
 fi
+
+# Running make.sh with different options without clean.sh in the middle
+# can break things.
+sh clean.sh
 
 mkdir -p output
 # Save prefix for make and install.sh.