pmt: initial 2.7.0 update

2024-08-02 17:44:31 +03:00
parent ed745369fa
commit 5d51e44a2c
31 changed files with 223 additions and 191 deletions
--- a/build/bash/gen-makefiles
+++ b/build/bash/gen-makefiles
@@ -17,8 +17,10 @@
 . build/bash/vars
 . build/bash/functions

-[ ! "${UPDATE_MAKEFILES}" = "true" ] && . build/bash/check-makefiles
-[ ! "${THIS_IS}" = "main" ] && abort "The caller is not the main makefile. Something's wrong."
+[ ! "${UPDATE_MAKEFILES}" = "true" ] \
+&& . build/bash/check-makefiles
+[ ! "${THIS_IS}" = "main" ] \
+&& abort "The caller is not the main makefile. Something's wrong."

 if [ "${UPDATE_MAKEFILES}" = "true" ]; then
    GENR="Re-generating"