diff options
| author | Shawn Amundson <amundson@src.gnome.org> | 1998-11-23 03:07:50 +0000 |
|---|---|---|
| committer | Shawn Amundson <amundson@src.gnome.org> | 1998-11-23 03:07:50 +0000 |
| commit | 72149265a32d0979a140c4b245ecf4946b989976 (patch) | |
| tree | 0e3c86fd9e774ef8ba4664a7ed2f79ca36341376 /sanity_check | |
| parent | f46ffebbc833a9475590b99bccc409be4c4725eb (diff) | |
| download | gtk+-72149265a32d0979a140c4b245ecf4946b989976.tar.gz | |
configure.in: require GLib 1.1.5GTK_1_1_5
Diffstat (limited to 'sanity_check')
| -rwxr-xr-x | sanity_check | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/sanity_check b/sanity_check index 20b7f048f4..fabecb41a5 100755 --- a/sanity_check +++ b/sanity_check @@ -40,6 +40,14 @@ else exit 1 fi +echo -n "configure.in..." +if [ "x`grep $VERSION gtk+-$VERSION/configure.in | wc -l | awk -F' ' '{print $1}'`" == "x2" ]; then + echo "ok" +else + echo "failed." + exit 1 +fi + echo "" echo "Number of lines in created documentation files:" |