@@ -17,10 +17,10 @@ function pgbuild() {
17
17
fi
18
18
local destname=" ${1:- " $( basename $( pwd) ) " } "
19
19
local dest=" $HOME /pg/$destname "
20
- if [ -z " ${NO_SILENT} " ]
20
+ if [ -z " ${NO_SILENT:- } " ]
21
21
then
22
- CONFQUIET=" --quiet"
23
- SILENT=" -s"
22
+ local CONFQUIET=" --quiet"
23
+ local SILENT=" -s"
24
24
else
25
25
echo " NO_SILENT assigned, going loud"
26
26
fi
@@ -72,7 +72,7 @@ function extbuild() {
72
72
mkdir -p $HOME /core/old >& /dev/null
73
73
mv -f ~ /core/* .core ~ /core/old/ >& /dev/null
74
74
# vpath checking and setup
75
- srcdir=" $( pwd) "
75
+ local srcdir=" $( pwd) "
76
76
if [ -z " $NO_VPATH " ]; then
77
77
if [ -e " ${extgenfile} " ]; then
78
78
echo " ${extgenfile} exists in srcdir. Cleaning source directory to allow clean vpath build."
@@ -82,7 +82,7 @@ function extbuild() {
82
82
echo " ${extgenfile} still exists in srcdir, clean vpath build not possible. Clean source dir."
83
83
return 1
84
84
fi
85
- builddir=$( dirname " $srcdir " ) /$( basename " $srcdir " ) -build
85
+ local builddir=$( dirname " $srcdir " ) /$( basename " $srcdir " ) -build
86
86
if [ -z " $builddir " ]; then
87
87
echo " unable to determine valid build-directory, aborting"
88
88
return 1
@@ -96,16 +96,22 @@ function extbuild() {
96
96
mv " $builddir " " $builddir " .old
97
97
fi
98
98
mkdir -p " $builddir " ;
99
- MAKEFILEARG=" -f $srcdir /Makefile"
99
+ local MAKEFILEARG=" -f $srcdir /Makefile"
100
100
else
101
101
echo " in-tree build"
102
- builddir=$srcdir
103
- MAKEFILEARG=" "
102
+ local builddir=$srcdir
103
+ local MAKEFILEARG=" "
104
+ fi
105
+ if [ -z " ${NO_SILENT:- } " ]
106
+ then
107
+ local SILENT=" -s"
108
+ else
109
+ echo " NO_SILENT assigned, going loud"
104
110
fi
105
111
# and finally go
106
112
(
107
113
cd " $builddir " ;
108
- PATH=" $newpath " make $MAKEFILEARG ${NO_SILENT :- " -s " } REGRESS_LOG_MIN_MESSAGES=debug2 PROVE_FLAGS=" --verbose" " $@ "
114
+ PATH=" $newpath " make $MAKEFILEARG $SILENT REGRESS_LOG_MIN_MESSAGES=debug2 PROVE_FLAGS=" --verbose" " $@ "
109
115
)
110
116
echo " rebuild and install done"
111
117
}
@@ -169,3 +175,4 @@ export JENKINS_CREDS=$HOME/.jenkins_creds
169
175
PROMPT_COMMAND=' __git_ps1 "\\j \\w" "\\\$ "'
170
176
PROMPT_DIRTRIM=2
171
177
export PROMPT_COMMAND PROMPT_DIRTRIM
178
+
0 commit comments