diff options
Diffstat (limited to '')
| -rwxr-xr-x | configure | 49 | 
1 files changed, 49 insertions, 0 deletions
diff --git a/configure b/configure new file mode 100755 index 0000000..6e7e342 --- /dev/null +++ b/configure @@ -0,0 +1,49 @@ +#!/bin/sh + +# Copyright (C) 2016  Mattias Andrée <maandree@member.fsf.org> +#  +# Copying and distribution of this file, with or without modification, +# are permitted in any medium without royalty provided the copyright +# notice and this notice are preserved.  This file is offered as-is, +# without any warranty. + + +# Run './configure --help' for usage information. + + +PKGNAME=learn-your-telephone-number +MAN_SECTION_SUFFIX= +MAN_SECTION=1 + + +list_optional_features_help () +{ +    true +} + +unrecognised_argument () +{ +    option="${1}" +    case "${option}" in +	(--build | --target | --host) +	    incomplete="${option}" ;; +	(--build=*) +	    ;; +	(--target=*) +	    ;; +	(--host=*) +	    ;; +	(*) +	    ;; +    esac +} + +. "$(dirname "${0}")"/mk/configure + + +cat <<EOF + +You can now run 'make && make install'. + +EOF +  | 
