From 4b4fde4cf6c142da9f0776c05eb9334463e65c4d Mon Sep 17 00:00:00 2001 From: John Marino Date: Thu, 24 Mar 2016 21:33:36 +0000 Subject: [PATCH] redundant-opt-files script: Fix deleted port output The last change was flawed; for deleted ports it was writing out the origin, but it should be writing out the appropriate ports cache database directory. --- Tools/scripts/redundant-opt-files.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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} \