diff --git a/Makefile b/Makefile index afcc58bb0..2dfe82edb 100644 --- a/Makefile +++ b/Makefile @@ -78,7 +78,7 @@ clean: vagrant vagrant ssh -c 'rm -rf $(BUILD_DIR)/' configure: vagrant - vagrant ssh -c 'if [ ! -e $(BUILD_DIR)/Makefile ]; then mkdir -p $(BUILD_DIR); (cd $(BUILD_DIR) && $(CONFIGURE_CMD)); fi' + @vagrant ssh -c 'if [ ! -e $(BUILD_DIR)/Makefile ]; then if ! schroot -i -c dxvk_crosscc >/dev/null 2>&1; then echo !!!! You must run \"vagrant provision\" !!!!; exit 1; fi; mkdir -p $(BUILD_DIR); (cd $(BUILD_DIR) && $(CONFIGURE_CMD)); fi' proton: configure vagrant ssh -c 'make -C $(BUILD_DIR)/ dist'