diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_info.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/reproducible_info.sh b/bin/reproducible_info.sh index c73fef65..4f44e658 100755 --- a/bin/reproducible_info.sh +++ b/bin/reproducible_info.sh @@ -10,5 +10,7 @@ NUM_CPU=$(grep -c '^processor' /proc/cpuinfo) DATETIME=$(date +'%Y-%m-%d %H:%M %Z') for i in ARCH NUM_CPU DATETIME ; do - echo "$i['$HOSTNAME']=\"${!i}\"" + if [ "$1" = "$i" ] ; then + echo "${!i}" + fi done |