diff options
| -rwxr-xr-x | release/scripts/proflibs-make.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/release/scripts/proflibs-make.sh b/release/scripts/proflibs-make.sh index e03b8b2..5ff447a 100755 --- a/release/scripts/proflibs-make.sh +++ b/release/scripts/proflibs-make.sh @@ -5,7 +5,5 @@ # Move the profiled libraries out to their own dist for i in ${RD}/trees/base/usr/lib/*_p.a; do - if [ -f $i ]; then - mv $i ${RD}/trees/proflibs/usr/lib; - fi; + mv $i ${RD}/trees/proflibs/usr/lib done |
