summaryrefslogtreecommitdiff
path: root/install
diff options
context:
space:
mode:
authorruki <[email protected]>2016-01-10 16:58:28 +0800
committerruki <[email protected]>2016-01-10 16:58:28 +0800
commit825dda9d93448ba783e18f7947eef0b4eb07942e (patch)
tree151657412b0dc32cef76070d5980ca6ae3357c2b /install
parented7b3067d15125dfbb3c61682d258539a7dc6b52 (diff)
fix makefile deps for corev1.0.4
Diffstat (limited to 'install')
-rwxr-xr-xinstall1
1 files changed, 0 insertions, 1 deletions
diff --git a/install b/install
index cf48e1a83..efd681c1e 100755
--- a/install
+++ b/install
@@ -52,7 +52,6 @@ if [ $? -ne 0 ]; then
fi
make c
make
-make
if [ $? -ne 0 ]; then
make o
exit;