comparison run-octave.in @ 19630:0e1f5a750d00

maint: Periodic merge of gui-release to default.
author John W. Eaton <jwe@octave.org>
date Tue, 20 Jan 2015 10:24:46 -0500
parents eeb22763138b 446c46af4b42
children 4197fc428c7d
comparison
equal deleted inserted replaced
19626:37d37297acf8 19630:0e1f5a750d00
1 #! /bin/sh 1 #! /bin/sh
2 ## 2 ##
3 ## run-octave -- run Octave in the build tree. 3 ## run-octave -- run Octave in the build tree.
4 ## 4 ##
5 ## Copyright (C) 2006-2013 John W. Eaton 5 ## Copyright (C) 2006-2013 John W. Eaton
6 ## 6 ##
7 ## This file is part of Octave. 7 ## This file is part of Octave.
8 ## 8 ##
9 ## Octave is free software; you can redistribute it and/or modify it 9 ## Octave is free software; you can redistribute it and/or modify it
10 ## under the terms of the GNU General Public License as published by the 10 ## under the terms of the GNU General Public License as published by the
11 ## Free Software Foundation; either version 3 of the License, or (at 11 ## Free Software Foundation; either version 3 of the License, or (at
12 ## your option) any later version. 12 ## your option) any later version.
13 ## 13 ##
14 ## Octave is distributed in the hope that it will be useful, but WITHOUT 14 ## Octave is distributed in the hope that it will be useful, but WITHOUT
15 ## ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 15 ## ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
16 ## FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 16 ## FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
17 ## for more details. 17 ## for more details.
18 ## 18 ##
19 ## You should have received a copy of the GNU General Public License 19 ## You should have received a copy of the GNU General Public License
20 ## along with Octave; see the file COPYING. If not, see 20 ## along with Octave; see the file COPYING. If not, see
21 ## <http://www.gnu.org/licenses/>. 21 ## <http://www.gnu.org/licenses/>.
22 22
23 AWK=%AWK% 23 AWK=%AWK%
24 FIND=%FIND% 24 FIND=%FIND%
25 SED=%SED% 25 SED=%SED%
26 26
27 # FIXME -- is there a better way to handle the possibility of spaces 27 # FIXME -- is there a better way to handle the possibility of spaces
28 # in these names? 28 # in these names?
29 29
30 top_srcdir='%abs_top_srcdir%' 30 top_srcdir='%abs_top_srcdir%'
31 builddir='%builddir%' 31 builddir='%builddir%'
32 32
33 d1="$top_srcdir/scripts" 33 d1="$top_srcdir/scripts"