diff options
| author | ruki <[email protected]> | 2016-07-02 14:59:11 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2016-07-02 14:59:11 +0800 |
| commit | ce13439bc03a2284975f0a8da56bba571798b39d (patch) | |
| tree | 38bd230466fca22b87f66db917d24cd7d90e11fb | |
| parent | b72b984b4e3a2d434de4e590f2b1c053baa2d8ab (diff) | |
optimizate install script for debain
| -rwxr-xr-x | install | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -8,7 +8,11 @@ verbose= #verbose=-v # prefix -prefix=/usr/local +if [ -d "/usr/local" ]; then + prefix=/usr/local +elif [ -d "/usr" ]; then + prefix=/usr +fi if [ $1 ]; then prefix=$1 fi |
