diff --git a/release.sh b/release.sh
index 45f764f7358ef9a1798117bbe20624d61091f3b0..e26f6c3c075e916c26586c8a12bff262518e6e79 100755 (executable)
--- a/release.sh
+++ b/release.sh
#!/bin/sh
# Generate the source release tarballs
-export IBL_VERSION="1_0_0_11"
+export IBL_VERSION="1_0_0_12"
cd ../
if [ -f ibl_src_$IBL_VERSION.tgz ]; then rm ibl_src_$IBL_VERSION.tgz; fi