Fixes NO_MINDBENDER to skip stagging as well

HazyResearch · Jan 8, 2017 · 7013f05 · 7013f05
1 parent 5016414
commit 7013f05
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/stage.sh b/stage.sh
@@ -155,8 +155,10 @@ stage util/draw_calibration_plot                                  util/
 stage util/calibration.py                                         util/
 stage util/calibration.plg                                        util/
 
+if [[ -z $NO_MINDBENDER ]]; then
 stage .build/submodule/util/mindbender/@prefix@/                  mindbender/
 stage util/mindbender-wrapper.sh                                  bin/mindbender
+fi
 
 # runtime dependencies after building them from source
 ! [[ -e extern/.build/bundled ]] ||