2022-11-18 08:22:14 +01:00
|
|
|
diff --git a/src/build-data/makefile.in b/src/build-data/makefile.in
|
2023-10-09 15:05:22 -07:00
|
|
|
index 1d50a31..64789a5 100644
|
2022-11-18 08:22:14 +01:00
|
|
|
--- a/src/build-data/makefile.in
|
|
|
|
|
+++ b/src/build-data/makefile.in
|
2023-10-09 15:05:22 -07:00
|
|
|
@@ -61,7 +61,7 @@ distclean:
|
2022-11-18 08:22:14 +01:00
|
|
|
"$(PYTHON_EXE)" "$(SCRIPTS_DIR)/cleanup.py" --build-dir="%{build_dir}" --distclean
|
|
|
|
|
|
|
|
|
|
install: %{install_targets}
|
2023-10-09 15:05:22 -07:00
|
|
|
- "$(PYTHON_EXE)" "$(SCRIPTS_DIR)/install.py" --build-dir="%{build_dir}"
|
|
|
|
|
+ "$(PYTHON_EXE)" "$(SCRIPTS_DIR)/install.py" --build-dir="%{build_dir}" --verbose
|
2022-11-18 08:22:14 +01:00
|
|
|
|
|
|
|
|
check: tests
|
|
|
|
|
"$(PYTHON_EXE)" "$(SCRIPTS_DIR)/check.py" --build-dir="%{build_dir}"
|
