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