Update release.sh

topjohnwu · Aug 3, 2024 · ca36b42 · ca36b42
1 parent 37df39e
commit ca36b42
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/scripts/release.sh b/scripts/release.sh
@@ -29,6 +29,8 @@ enable_version_config() {
  if ! grep -qE '^version=' $CONFIG; then
  echo 'version=' >> $CONFIG
  fi
+ # Make sure abiList is not set when building for release
+ sed -i "s:^abiList=:# abiList=:g" $CONFIG
 }
 
 disable_version_config() {