fix_boost_configs

1 year ago · 48875c1198
1 changed files with 8 additions and 0 deletions
--- a/contrib/fix_boost_configs.sh
+++ b/contrib/fix_boost_configs.sh
@ -0,0 +1,8 @@
				@@ -0,0 +1,8 @@
+for file in configs/*1_78_0*
+do
+        echo "~~FILE~~"
+        echo $file
+        newname=```echo $file | sed "s/ndk23/ndk19/"```
+        echo "cp $file to $newname"
+        cp $file $newname
+done