From f2f9baebff22de3b7e97d671010dc77367c0def7 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Sun, 13 Sep 2015 07:27:59 +0000
Subject: [PATCH]

---
 .../utils/android_petsc_reconfigure-armv7-android-linux.py   | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/contrib/mobile/utils/android_petsc_reconfigure-armv7-android-linux.py b/contrib/mobile/utils/android_petsc_reconfigure-armv7-android-linux.py
index 692e100a4d..e444157327 100755
--- a/contrib/mobile/utils/android_petsc_reconfigure-armv7-android-linux.py
+++ b/contrib/mobile/utils/android_petsc_reconfigure-armv7-android-linux.py
@@ -6,8 +6,9 @@
 ########   edit src/system/err.c to remove the exception throwing code
 ########   edit android_real/lib/petsc/conf/petscvariables:
 ########         remove the dylib stuff
-########         and edit SL_LINKER_FUNCTION : just define as "-shared"
-########         add "-Wl,--unresolved-symbols=ignore-all" to fix undefined ref to 'main'
+########         edit SL_LINKER_FUNCTION
+########         add "-Wl,--unresolved-symbols=ignore-all" to the linker flags to
+########           fix undefined ref to 'main'
 
 if __name__ == '__main__':
   import sys
-- 
GitLab