Merge branch 'master' into 32-overlay-implementation

# Conflicts: # Pmodules/modbuild.in
2026-06-24 08:37:59 +02:00 · 2019-05-28 11:12:55 +02:00
parent 1004489611 83fbc155dc
commit f3b0a95743
1 changed files with 3 additions and 0 deletions
@@ -24,6 +24,9 @@ source libstd.bash    || {
        echo "Oops: library '$_' cannot be loaded!" 1>&2; exit 3;
 }

+source libpbuild.bash    || \
+        std::die 3 "Oops: Cannot source library -- '$_'"
+
 # save arguments, (still) required for building dependencies
 declare -r ARGS="$@"