Meta/Make: temporarily disable pedantic builds for older versions

2026-08-09 17:40:16 +00:00 · 2015-04-30 14:54:02 -07:00
parent a60c422192
commit ddc2105c7a
1 changed files with 6 additions and 0 deletions
--- a/6
+++ b/6
@@ -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
 ?*)	;;
 '')