diff options
Diffstat (limited to 'autogen.sh')
| -rwxr-xr-x | autogen.sh | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/autogen.sh b/autogen.sh deleted file mode 100755 index dfe9eba..0000000 --- a/autogen.sh +++ /dev/null @@ -1,36 +0,0 @@ -#!/bin/sh - -# This file is part of gummiboot. -# -# gummiboot is free software; you can redistribute it and/or modify it -# under the terms of the GNU Lesser General Public License as published by -# the Free Software Foundation; either version 2.1 of the License, or -# (at your option) any later version. -# -# gummiboot is distributed in the hope that it will be useful, but -# WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -# Lesser General Public License for more details. -# -# You should have received a copy of the GNU Lesser General Public License -# along with systemd; If not, see <http://www.gnu.org/licenses/>. - -set -e - -autoreconf --force --install --symlink - -args="\ ---prefix=/usr" - -if [ "x$1" = "xc" ]; then - ./configure $args - make clean -else - echo - echo "----------------------------------------------------------------" - echo "Initialized build system. For a common configuration please run:" - echo "----------------------------------------------------------------" - echo - echo "./configure $args" - echo -fi |