annotate msdos/sedleim.inp @ 26370:5f52cc1417ab

Use block statements in cases and declare v1 and v2 locally there. Rearrange case statements so that thos most frequently executed come first. Avoid goto's in frequently executed cases.
author Gerd Moellmann <gerd@gnu.org>
date Sun, 07 Nov 1999 13:06:59 +0000
parents 00af2bda43f0
children 62100be6ca6d
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
24020
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1 # -sedleim.inp-----------------------------------------------------------
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
2 # Configuration script for leim/Makefile under DJGPP v2.x
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
3 # ----------------------------------------------------------------------
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
4 /^SHELL *=/c\
25099
00af2bda43f0 (SHELL, MAKESHELL): Use /xyzzy/command as the shell.
Eli Zaretskii <eliz@gnu.org>
parents: 24020
diff changeset
5 SHELL=/xyzzy/command\
00af2bda43f0 (SHELL, MAKESHELL): Use /xyzzy/command as the shell.
Eli Zaretskii <eliz@gnu.org>
parents: 24020
diff changeset
6 MAKESHELL=/xyzzy/command
24020
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
7
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
8 /^version=/d
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
9 /^prefix=/d
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
10 /^datadir=/s|@datadir@|../..|
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
11 /^srcdir=/s|@srcdir@|.|
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
12
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
13 /^INSTALLDIR=/c\
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
14 INSTALLDIR=.
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
15
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
16 /^ cd ../c\
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
17 ${MAKE} -C ../src ${MFLAGS} emacs
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
18
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
19 /else make quail/c\
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
20 if not exist quail\\nul make quail
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
21
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
22 /^leim-list.el:/,/^$/ {
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
23 /^ if/d
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
24 /^ else/,/^ fi/d
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
25 s| *| |
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
26 /^ --eval/,/; \\$/s|\; \\||
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
27 }
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
28
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
29 /^install:/,/^$/c\
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
30 install: all\
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
31
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
32 /^ ELC=/,/^ rm -f/c\
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
33 rm -f ${TIT} $(shell echo ${TIT} | sed 's/\.el/.elc/g') leim-list.elc
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
34
cd4343d3cd01 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
35 /^ if test -f/d