diff options
-rwxr-xr-x | fixup_ptxconfigs.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/fixup_ptxconfigs.sh b/fixup_ptxconfigs.sh index bea4d2f..ae9cee1 100755 --- a/fixup_ptxconfigs.sh +++ b/fixup_ptxconfigs.sh @@ -289,6 +289,9 @@ fixup() echo echo + # change the configfile to force update + sed -i 's/PTXCONF__ptxconfig_MAGIC__=y//' "${config}" + ./p --force --ptxconfig="${config}" oldconfig || exit 1 } |