From 767639f0627417a18bbb9dcf957f9afa0b31dfe8 Mon Sep 17 00:00:00 2001
From: Jason Tibbitts <tibbs@math.uh.edu>
Date: Mar 13 2019 15:03:14 +0000
Subject: Don't copy things if the generator failed.


---

diff --git a/example-create-filelist-wrapper b/example-create-filelist-wrapper
index 7b4e9fb..48efbd2 100755
--- a/example-create-filelist-wrapper
+++ b/example-create-filelist-wrapper
@@ -112,6 +112,11 @@ cd $tmpd
 
         $CREATE -c -s -d $TOPD/$mod -f $flname -t $tlname
 
+        if [[ $? -ne 0 ]]; then
+            (>&2 echo "File list generator failed?")
+            exit 1
+        fi
+
         # If a file list exsts and doesn't differ from what we just generated,
         # delete the latter.
         if [[ -f $currentfl ]] && diff -q $currentfl $flname > /dev/null; then