traige

idris-lang · May 19, 2024 · 344e0c0 · 344e0c0
1 parent a6924f0
commit 344e0c0
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/bootstrap-stage2.sh b/bootstrap-stage2.sh
@@ -19,6 +19,8 @@ $MAKE bootstrap-install IDRIS2_CG="$IDRIS2_CG" \
 # Now rebuild everything properly
 echo '[bootstrap] cleaning and rebuilding...'
 $MAKE clean-libs IDRIS2_BOOT="$IDRIS2_BOOT_PREFIX/bin/idris2"
+echo "triage -- $(ls ${IDRIS2_BOOT_PREFIX})"
+echo "triage -- $(ls ${IDRIS2_BOOT_PREFIX}/idris2-*/lib)"
 $MAKE all IDRIS2_BOOT="$IDRIS2_BOOT_PREFIX/bin/idris2" IDRIS2_CG="$IDRIS2_CG" \
     SCHEME="$SCHEME"
 echo '[bootstrap] stage 2 complete'