diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/maketypes.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/scripts/maketypes.sh b/scripts/maketypes.sh index e5078ae..3ce5a62 100644 --- a/scripts/maketypes.sh +++ b/scripts/maketypes.sh @@ -37,8 +37,8 @@ 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" +#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" |