mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-08-25 21:47:20 +02:00
36 lines
1.0 KiB
Bash
Executable File
36 lines
1.0 KiB
Bash
Executable File
#! /bin/sh
|
|
|
|
# $PostgreSQL: pgsql/config/missing,v 1.4 2006/03/11 04:38:28 momjian Exp $
|
|
|
|
# This is *not* the GNU `missing' script, although it is similar in
|
|
# concept. You can call it from the makefiles to get consistent
|
|
# behavior when certain utility programs are missing.
|
|
|
|
case $1 in
|
|
flex|bison)
|
|
# `missing flex|bison <input> <output>'
|
|
input=$2
|
|
output=$3
|
|
if test -f "$output"; then
|
|
echo "\
|
|
***
|
|
WARNING: \`$1' is missing on your system. You should only need it
|
|
if you changed the file \`$input'; these changes will not take effect.
|
|
You can get $1 from a GNU mirror site.
|
|
***"
|
|
echo "touch $output"
|
|
touch "$output"
|
|
exit 0
|
|
else # ! test -f $output
|
|
echo "\
|
|
***
|
|
ERROR: \`$1' is missing on your system. It is needed to create the
|
|
file \`$output'. You can either get $1 from a GNU mirror site
|
|
or download an official distribution of PostgreSQL, which contains
|
|
pre-packaged $1 output.
|
|
***"
|
|
exit 1
|
|
fi
|
|
;;
|
|
esac
|