diff options
Diffstat (limited to 'src/script/api/generate_widget.sh')
| -rwxr-xr-x | src/script/api/generate_widget.sh | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/src/script/api/generate_widget.sh b/src/script/api/generate_widget.sh deleted file mode 100755 index bd5fdab1d..000000000 --- a/src/script/api/generate_widget.sh +++ /dev/null @@ -1,22 +0,0 @@ -#!/bin/bash - -# This file is part of OpenTTD. -# OpenTTD is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, version 2. -# OpenTTD is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. -# See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with OpenTTD. If not, see <http://www.gnu.org/licenses/>. - -# Set neutral locale so sort behaves the same everywhere -LC_ALL=C -export LC_ALL - -# We really need gawk for this! -AWK=gawk - -${AWK} --version > /dev/null 2> /dev/null -if [ "$?" != "0" ]; then - echo "This script needs gawk to run properly" - exit 1 -fi - -${AWK} -v BINMODE=1 -f generate_widget.awk script_window.hpp > script_window.tmp -mv script_window.tmp script_window.hpp |