Meta/Make: temporarily disable pedantic builds for older versions

diff --git a/Make b/Make
index 21771a669e6b4f632ecd7ddec30dd131aafc8701..0272b9787b3711720a7c50ac19732dab0b750c81 100755 (executable)
--- a/Make
+++ b/Make
@@ -96,6 +96,12 @@ determine_long_version () {
        sed -e 's/-/./g'
 }
 
+BUILTIN_CLEAN_FIX=8687f777
+if ! git merge-base --is-ancestor $BUILTIN_CLEAN_FIX HEAD
+then
+       NO_PEDANTIC=YesPlease
+fi
+
 case "$NO_PEDANTIC" in
 ?*)    ;;
 '')