Index: platform_tools/barelinux/bin/barelinux_make |
diff --git a/platform_tools/barelinux/bin/barelinux_make b/platform_tools/barelinux/bin/barelinux_make |
index cefeec6a0669f2934a21b36cacf563025d207ecc..4f2400f8ca08e90ada1cb5a4b58e5057df53d79a 100755 |
--- a/platform_tools/barelinux/bin/barelinux_make |
+++ b/platform_tools/barelinux/bin/barelinux_make |
@@ -34,7 +34,6 @@ EOF |
# Coverage, Debug, Release, or Release_Developer |
BUILD_TYPE='Debug' |
-unset OPTIND |
while getopts ":c:x:o:t:h" opt ; do |
case $opt in |
c) export CC="$OPTARG" ;; |