diff options
| author | ruki <[email protected]> | 2016-01-08 10:06:44 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2016-01-08 10:06:44 +0800 |
| commit | dfd8d8b6ba54a1e6cd0022bf8177c138287e71dd (patch) | |
| tree | 6fc38e8864b92d1a7bbece1b9991d91c061e0fa5 | |
| parent | dbb0a711dea25bb616368d717fa565f55132a6a9 (diff) | |
fix compile error for install
| -rwxr-xr-x | install | 9 |
1 files changed, 4 insertions, 5 deletions
@@ -46,16 +46,15 @@ cd ./core if [ -f .config.mak ]; then rm .config.mak fi -make f DEBUG=$debug > ../install.log +make f DEBUG=$debug if [ $? -ne 0 ]; then - cat ../install.log exit; fi -make c >> ../install.log -make >> ../install.log +make c +make +make if [ $? -ne 0 ]; then make o - cat ../install.log exit; fi make i |
