diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2023-11-28 09:08:35 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2023-11-28 09:08:35 +0000 |
commit | f9121f197f1dde77f00ffe33bca6ecfa45f4cb61 (patch) | |
tree | ed928db6ea5b47071a4302f9e8ebf19143d61a52 | |
parent | Updating. (diff) | |
download | progress-linux-tools-f9121f197f1dde77f00ffe33bca6ecfa45f4cb61.tar.xz progress-linux-tools-f9121f197f1dde77f00ffe33bca6ecfa45f4cb61.zip |
Updating.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
-rwxr-xr-x | bin/padd.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/padd.sh b/bin/padd.sh index b5e9778..d88353c 100755 --- a/bin/padd.sh +++ b/bin/padd.sh @@ -111,6 +111,9 @@ else reprepro -b ${_POOL} ${_REPREPRO_OPTIONS} include ${_DIST} *.changes fi +mkdir -p "${_POOL}/project/trace" +echo $(LC_ALL=C.UTF-8 date -R) > "${_POOL}/project/trace/${HOSTNAME}" + if [ "${1}" != "quiet" ] then case "${_ARCH}" in |