| 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" ;;
|
|
|