Slides for 2xxx.

[libguestfs-talks.git] / 2020-frama-c / run

diff --git a/2020-frama-c/run b/2020-frama-c/run
index d6333b0..48148e4 100755 (executable)
--- a/2020-frama-c/run
+++ b/2020-frama-c/run
@@ -15,9 +15,15 @@ export GNOME_KEYRING_PID=
 # Clean up after previous run.
 talkdir=$PWD ./restore
 
+# Check environment.
+if ! test -d ~/d/qemu ; then
+    echo "\$HOME/d/qemu must exist"
+    exit 1
+fi
+
 # Precreate any files necessary.
 #(nothing)
 
 # Run techtalk.
-techtalk-pse
-#~/d/techtalk-pse/techtalk-pse
+techtalk-pse "$@"
+#~/d/techtalk-pse/techtalk-pse "$@"