diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/maketypes.sh | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/scripts/maketypes.sh b/scripts/maketypes.sh index 3ce5a62..ab133c1 100644 --- a/scripts/maketypes.sh +++ b/scripts/maketypes.sh @@ -37,8 +37,5 @@ echo -n generating typecast_builtins.c ... awk '/#define .+OID/ {print $2 " " $3}' "$PGTYPE" | \ python $SCRIPTSDIR/buildtypes.py >$SRCDIR/typecast_builtins.c echo " done" -#echo -n generating pgversion.h ... -#echo "#define PG_VERSION_MAJOR $PGMAJOR" >$SRCDIR/pgversion.h -#echo "#define PG_VERSION_MINOR $PGMINOR" >>$SRCDIR/pgversion.h -#echo " done" + |