Make build_extension.sh executable #2

Merged
merged 1 commit into from Apr 21, 2012
View
0 build_extension.sh 100644 → 100755
File mode changed.