File tree Expand file tree Collapse file tree 1 file changed +9
-2
lines changed Expand file tree Collapse file tree 1 file changed +9
-2
lines changed Original file line number Diff line number Diff line change @@ -167,7 +167,9 @@ patch -p1 -i "$PATCH_FILE"
167167 CFLAGS=" -O0 -gdwarf-5 $CFLAGS " \
168168 CPPFLAGS=" -O0 -gdwarf-5 $CPPFLAGS "
169169
170- # Setup special file with
170+ # Setup special file with environment
171+ # NOTE: keep format in sync with that one in 'misc/scripts'
172+ # because it is also used by dev scripts
171173ENV_PATH=" ${PWD} /env.sh"
172174cat << EOF >"$ENV_PATH "
173175export PGINSTDIR="$INSTALL_PATH "
@@ -213,4 +215,9 @@ cp "$PATCHES_DIR/pgsql_hacker_helper.json" \
213215 " $SRC_PATH /.vscode"
214216
215217cp " $PATCHES_DIR /custom.typedefs.list" " $SRC_PATH "
216- } 2>&1 | tee " $LOGFILE "
218+ } 2>&1 | tee " $LOGFILE "
219+
220+ # Copy dev scripts
221+ cp " $EXT_ROOT_DIR /misc/vscode/tasks.json" " $SRC_PATH /.vscode"
222+ cp " $EXT_ROOT_DIR /misc/scripts" " $SRC_PATH /" -r
223+ cp " $SRC_PATH /env.sh" " $SRC_PATH /scripts/env.sh"
You can’t perform that action at this time.
0 commit comments