Mercurial > hg > octave-nkf

annotate build-aux/find-files-with-tests.sh @ 19782:f9a944b9e1cb gui-release

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
provide a user preference for printing the debug location in the terminal * main-window.cc (notice_settings): get new preference from settings file; (execute_command_callback): set next breakpoint quiet if desired; (execute_debug_callback): set next breakpoint quiet only if desired * main-window.h: new class attribute storing the preference * settings-dialog.cc (constructor): get new preference from settings file and initialize the new checkbox, put terminal related settings together; (write_changed_settings): write state of checkbox into settings file; * settings-dialog.ui: new checkbox for printing debug location in terminal tab
author Torsten <ttl@justmail.de>
date Sat, 17 Jan 2015 09:33:15 +0100
parents 43e6415393ff
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
16023
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
1 #! /bin/sh
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
2
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
3 set -e
16132
43e6415393ff build: check for grep in configure and then use it in build process.
Rik <rik@octave.org>
parents: 16023
diff changeset
4 GREP=${GREP:-grep}
16023
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
5 SED=${SED:-sed}
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
6
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
7 srcdir="$1"
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
8 shift
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
9
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
10 for arg
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
11 do
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
12 if [ -f "$arg" ]; then
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
13 file="$arg"
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
14 else
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
15 file="$srcdir/$arg"
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
16 fi
16132
43e6415393ff build: check for grep in configure and then use it in build process.
Rik <rik@octave.org>
parents: 16023
diff changeset
17 if [ "`$GREP -l '^%!' $file`" ]; then
16023
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
18 echo "$file" | $SED "s,\\$srcdir/,,";
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
19 fi
98fc95793699 missing file for commit 5b2126a8c84f
John W. Eaton <jwe@octave.org>
parents:
diff changeset
20 done