Merge branch 'main' into jazullo/L1-MPL

iu-parfunc · Aug 25, 2023 · 5c127e0 · 5c127e0
2 parents 7c00353 + 2bc1800
commit 5c127e0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/set_env.sh b/set_env.sh
@@ -1,3 +1,4 @@
+#!/bin/bash
 # This file must be sourced with ". set_env.sh" or "source set_env.sh"
 
 if ! [ -d ./gibbon-compiler ]; then