diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/upd-instroot | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/scripts/upd-instroot b/scripts/upd-instroot index d78961d9c..0d63fe58b 100755 --- a/scripts/upd-instroot +++ b/scripts/upd-instroot @@ -585,13 +585,9 @@ echo "done." for p in $DEST $DESTGR; do find $p -name "*.py" | while read fn; do - if [ -f ${fn}c ]; then - rm -f ${fn}c - fi - if [ -f ${fn}o ]; then - rm -f ${fn}o - fi + rm -f ${fn}o if [ $p = $DEST ]; then + rm -f ${fn}c ln -sf /dev/null ${fn}c fi done |