add comment

leanprover-community · Dec 12, 2023 · 5aa0764 · 5aa0764
1 parent 93c55dc
commit 5aa0764
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/relay/bubblewrap.sh b/relay/bubblewrap.sh
@@ -1,5 +1,6 @@
 #/bin/bash
 
+# Note: This fails if there is no default toolchain installed
 ELAN_HOME=$(lake env printenv ELAN_HOME)
 
 # $1 : the game directory