diff options
| -rwxr-xr-x | bin/src-unregistered | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/src-unregistered b/bin/src-unregistered index de5c207b..aa4578bd 100755 --- a/bin/src-unregistered +++ b/bin/src-unregistered @@ -6,7 +6,9 @@ for d in $HOME/src/*; do if [ -d "$d" -a ! "$d" = "$HOME/src/hscripts" ]; then if ! grep -qe "\[$(basename $d)\]" $HOME/src/.mrconfig; then if ! grep -qe "\[src/$(basename $d)\]" $HOME/.mrconfig; then - echo $d + if [ ! "$d" = "$HOME/src/build-area" ]; then + echo $d + fi fi fi fi |