diff options
author | Dimitri John Ledkov <xnox@ubuntu.com> | 2018-02-19 15:51:31 +0000 |
---|---|---|
committer | Dimitri John Ledkov <xnox@ubuntu.com> | 2018-02-19 15:52:49 +0000 |
commit | b70cb0d0a21394d5d6b00b51f064115c2724cea8 (patch) | |
tree | f001381d2ee826e6665e003e7c6dccb084a54316 /travis/build-default | |
parent | f1b0adb46b2c193e940f8c22b35036d2ee76c673 (diff) |
New upstream releasedebian/4.15.1-1archive/debian/4.15.1-1
Diffstat (limited to 'travis/build-default')
-rwxr-xr-x | travis/build-default | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/travis/build-default b/travis/build-default new file mode 100755 index 00000000..b43302d9 --- /dev/null +++ b/travis/build-default @@ -0,0 +1,13 @@ +#!/bin/sh +# usage: $0 [optional arguments to configure] + +if ! [ -f "./autogen.sh" ]; then + echo "ERROR: cannot find autogen.sh, run from the top level directory" + exit 1 +fi + +set -e + +./autogen.sh +./configure "$@" +make |