diff options
| author | John Marino <marino@FreeBSD.org> | 2016-03-24 21:33:36 +0000 |
|---|---|---|
| committer | John Marino <marino@FreeBSD.org> | 2016-03-24 21:33:36 +0000 |
| commit | 4b4fde4cf6c142da9f0776c05eb9334463e65c4d (patch) | |
| tree | 405147e348a81bde7fd87da369321318f2a3ec1c /Tools | |
| parent | c80bd713b0c7cf531998437687162bd2743b4fb1 (diff) | |
Notes
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/scripts/redundant-opt-files.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/redundant-opt-files.sh b/Tools/scripts/redundant-opt-files.sh index 505afc62db02..b9e180e18e9f 100755 --- a/Tools/scripts/redundant-opt-files.sh +++ b/Tools/scripts/redundant-opt-files.sh @@ -40,7 +40,7 @@ identical_options() { local origin=$(catport $1) if [ ! -d ${origin} ]; then # origin no longer exists, list it anyway without testing further - echo ${origin} + echo $1 return fi local selected_pristine=$(/usr/bin/make -C ${origin} \ |