Skip to content

Instantly share code, notes, and snippets.

@npinto
Created March 24, 2011 01:24
Show Gist options
  • Save npinto/884392 to your computer and use it in GitHub Desktop.
Save npinto/884392 to your computer and use it in GitHub Desktop.
--- configure 2011-03-23 18:17:28.000000000 -0700
+++ configure 2011-03-23 18:21:28.000000000 -0700
@@ -2864,7 +2864,7 @@
die "swig did not return version information"
fi
if [ `echo $_swig_version | cut -f 2 -d '.'` -ge 4 ] || \
- [ `echo $_swig_version | cut -f 3 -d '.'` -ge 29 ]
+ [ `echo $_swig_version | cut -f 3 -d '.'` -ge 29 ] || [ `echo $_swig_version | cut -f 1 -d '.'` -ge 2 ]
then
echores "`${SWIG} -version 2>&1 | grep Version | cut -f 3 -d ' '`"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment