Reworking after run through with Paolo.

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

diff --git a/2020-frama-c/run b/2020-frama-c/run
index 48148e4..9d0edf2 100755 (executable)
--- a/2020-frama-c/run
+++ b/2020-frama-c/run
@@ -25,5 +25,5 @@ fi
 #(nothing)
 
 # Run techtalk.
-techtalk-pse "$@"
-#~/d/techtalk-pse/techtalk-pse "$@"
+#techtalk-pse "$@"
+~/d/techtalk-pse/techtalk-pse "$@"