diff options
| author | Rob Taylor <rob.taylor@codethink.co.uk> | 2007-08-18 17:18:45 +0100 |
|---|---|---|
| committer | Rob Taylor <rob.taylor@codethink.co.uk> | 2007-08-22 15:17:50 +0100 |
| commit | 74fa413f385a77194bddfdef23793838fee2f413 (patch) | |
| tree | 5574ea4dcf7b8a85994d99c48c12aefed42ebc7f | |
| parent | e0150c441c87eb2e203c1d33a6003f62ff49337e (diff) | |
clean out the temp plugin install directory in run-ohm.sh
If run-ohm.sh is not invoked with --skip-plugin-install, clean out the temp dir
before installing the plugins.
| -rwxr-xr-x | ohmd/run-ohm.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ohmd/run-ohm.sh b/ohmd/run-ohm.sh index 72f1352..dd94017 100755 --- a/ohmd/run-ohm.sh +++ b/ohmd/run-ohm.sh @@ -24,6 +24,7 @@ fi if [ "$1" = "--skip-plugin-install" ] ; then shift else + rm -rf $OHM_TMPDIR make -C ../etc install DESTDIR=$OHM_TMPDIR prefix=/ make -C ../plugins install DESTDIR=$OHM_TMPDIR prefix=/ fi |