From 17ebf5c1ae667bc5725c169b1d9031888dea6b6b Mon Sep 17 00:00:00 2001 From: Achim Gsell Date: Fri, 1 Jul 2022 16:30:45 +0200 Subject: [PATCH] modbuild: code beautifying --- Pmodules/modbuild.in | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Pmodules/modbuild.in b/Pmodules/modbuild.in index 9a0385c..a36ef48 100755 --- a/Pmodules/modbuild.in +++ b/Pmodules/modbuild.in @@ -49,11 +49,11 @@ source libpmodules.bash || \ std::die 3 "Oops: cannot source library -- '$_'" # save arguments, (still) required for building dependencies -declare -r ARGS="$@" +declare -r ARGS="$@" -shopt -s nocaseglob -shopt -s extglob -shopt -s nullglob +shopt -s nocaseglob +shopt -s extglob +shopt -s nullglob declare ol_mod_root declare ol_inst_root