mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-22 01:59:02 +00:00
Check that we have bash before running updatelfuns.sh
Also set executable bits on the devel scripts.
This commit is contained in:
parent
626f8d4448
commit
a8ad43d4fd
0
development/tools/convert_kmap.py
Normal file → Executable file
0
development/tools/convert_kmap.py
Normal file → Executable file
0
development/tools/count_lines_of_included_code.sh
Normal file → Executable file
0
development/tools/count_lines_of_included_code.sh
Normal file → Executable file
0
development/tools/designer43to42
Normal file → Executable file
0
development/tools/designer43to42
Normal file → Executable file
0
development/tools/generate_symbols_images.py
Normal file → Executable file
0
development/tools/generate_symbols_images.py
Normal file → Executable file
0
development/tools/generate_symbols_list.py
Normal file → Executable file
0
development/tools/generate_symbols_list.py
Normal file → Executable file
0
development/tools/list_included_headers.sh
Normal file → Executable file
0
development/tools/list_included_headers.sh
Normal file → Executable file
0
development/tools/lyx-fedora
Normal file → Executable file
0
development/tools/lyx-fedora
Normal file → Executable file
0
development/tools/mergepo.py
Normal file → Executable file
0
development/tools/mergepo.py
Normal file → Executable file
0
development/tools/unicodesymbols.py
Normal file → Executable file
0
development/tools/unicodesymbols.py
Normal file → Executable file
0
development/tools/update-po.sh
Normal file → Executable file
0
development/tools/update-po.sh
Normal file → Executable file
0
development/tools/updatedocs.py
Normal file → Executable file
0
development/tools/updatedocs.py
Normal file → Executable file
0
development/tools/updatelayouts.py
Normal file → Executable file
0
development/tools/updatelayouts.py
Normal file → Executable file
6
development/tools/updatelfuns.sh
Normal file → Executable file
6
development/tools/updatelfuns.sh
Normal file → Executable file
@ -1,5 +1,11 @@
|
|||||||
#!/bin/bash
|
#!/bin/bash
|
||||||
|
|
||||||
|
if [ -z "$BASH_VERSION" ]; then
|
||||||
|
# http://article.gmane.org/gmane.editors.lyx.devel/159697
|
||||||
|
echo "You must use bash to run this script";
|
||||||
|
exit 1;
|
||||||
|
fi
|
||||||
|
|
||||||
function do_convert {
|
function do_convert {
|
||||||
for i in *; do
|
for i in *; do
|
||||||
if [ ! -f $i ]; then continue; fi
|
if [ ! -f $i ]; then continue; fi
|
||||||
|
0
development/tools/updatestats.sh
Normal file → Executable file
0
development/tools/updatestats.sh
Normal file → Executable file
Loading…
Reference in New Issue
Block a user