From 3fa527cfa6d4070432ad9ffa94daceca89ffa1dc Mon Sep 17 00:00:00 2001 From: duxet Date: Mon, 16 Mar 2015 19:19:19 +0100 Subject: [PATCH] Update build.sh --- build.sh | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/build.sh b/build.sh index 1815521..eb5ac3d 100644 --- a/build.sh +++ b/build.sh @@ -1,11 +1,4 @@ #! /bin/sh - -if [[ "$HPHP_HOME" == "" ]]; then - echo HPHP_HOME environment variable must be set! - exit 1 -fi - -$HPHP_HOME/hphp/tools/hphpize/hphpize +hphpize cmake . make -