diff options
Diffstat (limited to 'moses/regenerate-makefiles.sh')
-rwxr-xr-x | moses/regenerate-makefiles.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/moses/regenerate-makefiles.sh b/moses/regenerate-makefiles.sh deleted file mode 100755 index 6c78e2b3b..000000000 --- a/moses/regenerate-makefiles.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh - -echo "Calling autoconf..." -autoconf -echo "Calling automake..." -automake - -echo -echo "You should now be able to configure and build:" -echo " ./configure --with-boost=/home/ws06/cdyer/boost-stage --with-srilm=/home/ws06/cdyer/srilm" -echo " make -j 4" -echo |