annotate config.bat @ 13717:d7bb4093a950

(IT_set_terminal_modes): Save screen color attribute byte at startup, write saved screen dimensions to termscript file. (IT_reset_terminal_modes): When restoring startup screen contents, only restore as much as was saved, and only as much as the screen dimensions on exit can hold. Blank the rest with the background color saved at startup. Write restored screen dimensions to termscript file.
author Karl Heuer <kwzh@gnu.org>
date Wed, 13 Dec 1995 02:22:47 +0000
parents 09c2ad9213dd
children 327ff78701e0
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1 @echo off
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
2 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
3 rem Configuration script for MSDOS
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
4 rem Copyright (C) 1994 Free Software Foundation, Inc.
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
5
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
6 rem This file is part of GNU Emacs.
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8 rem GNU Emacs is free software; you can redistribute it and/or modify
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9 rem it under the terms of the GNU General Public License as published by
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10 rem the Free Software Foundation; either version 2, or (at your option)
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11 rem any later version.
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 rem GNU Emacs is distributed in the hope that it will be useful,
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14 rem but WITHOUT ANY WARRANTY; without even the implied warranty of
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15 rem MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 rem GNU General Public License for more details.
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 rem You should have received a copy of the GNU General Public License
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19 rem along with GNU Emacs; see the file COPYING. If not, write to
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20 rem the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
21 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22 rem YOU'LL NEED THE FOLLOWING UTILITIES TO MAKE EMACS:
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23 rem
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
24 rem + msdos version 3 or better.
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
25 rem + djgpp version 1,11 maint 4 or better.
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
26 rem + make utility that allows breaking of the 128 chars limit on
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
27 rem command lines. ndmake (as of version 4.5) won't work due to a
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
28 rem line length limit.
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29 rem + rm, mv, chmod (From GNU file utilities).
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
30 rem + sed.
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
31 rem
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
32 rem You should be able to get all the above utilities from all
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
33 rem Simtel repositories, e.g., oak.oakland.edu in the directories
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
34 rem "/pub/msdos/djgpp" and "/pub/msdos/gnuish". As usual, please
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
35 rem use your local mirroring site to reduce trans-Atlantic traffic.
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 rem ----------------------------------------------------------------------
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
37 set X11=
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
38 set nodebug=
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
39 :again
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
40 if "%1" == "" goto usage
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
41 if "%1" == "--with-x" goto withx
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
42 if "%1" == "--no-debug" goto nodebug
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43 if "%1" == "msdos" goto msdos
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
44 :usage
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
45 echo Usage: config [--with-x] [--no-debug] msdos
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
46 echo [Read the script before you run it.]
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47 goto end
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48 rem ----------------------------------------------------------------------
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
49 :withx
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
50 set X11=Y
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
51 shift
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
52 goto again
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
53 rem ----------------------------------------------------------------------
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
54 :nodebug
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
55 set nodebug=Y
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
56 shift
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
57 goto again
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
58 rem ----------------------------------------------------------------------
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
59 :msdos
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
60 Echo Checking whether 'sed' is available...
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
61 sed -e "w junk.$$$" <Nul
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
62 If Exist junk.$$$ Goto sedOk
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
63 Echo To configure 'Emacs' you need to have 'sed'!
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
64 Goto End
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
65 :sedOk
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
66 Echo Checking whether 'rm' is available...
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
67 rm -f junk.$$$
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
68 If Not Exist junk.$$$ Goto rmOk
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
69 Echo To configure 'Emacs' you need to have 'rm'!
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
70 Goto End
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
71 :rmOk
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
72 Echo Checking whether 'mv' is available...
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
73 rm -f junk.1 junk.2
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
74 echo foo >junk.1
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
75 mv junk.1 junk.2
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
76 If Exist junk.2 Goto mvOk
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
77 Echo To configure 'Emacs' you need to have 'mv'!
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
78 rm -f junk.1
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
79 Goto End
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
80 :mvOk
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
81 rm -f junk.2
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
82 Echo Checking whether 'gcc' is available...
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
83 echo main(){} >junk.c
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
84 gcc -c junk.c
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
85 if exist junk.o goto gccOk
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
86 Echo To configure 'Emacs' you need to have 'gcc'!
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
87 rm -f junk.c
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
88 Goto End
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
89 :gccOk
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
90 rm -f junk.c junk.o
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
91 Rem ----------------------------------------------------------------------
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
92 Echo Configuring the source directory...
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
93 cd src
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
94
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
95 rem Create "paths.h"
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
96 sed -f ../msdos/sed4.inp <paths.in >paths.tmp
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
97 update paths.tmp paths.h >nul
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
98 rm -f paths.tmp
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
99
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
100 rem Create "config.h"
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
101 rm -f config.h2 config.tmp
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
102 cp config.in config.tmp
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
103 if "%X11%" == "" goto src4
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
104 sed -f ../msdos/sed2x.inp <config.in >config.tmp
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
105 :src4
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
106 sed -f ../msdos/sed2.inp <config.tmp >config.h2
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
107 update config.h2 config.h >nul
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
108 rm -f config.tmp config.h2
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
109
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
110 rem On my system dir.h gets in the way. It's a VMS file so who cares.
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
111 if exist dir.h ren dir.h vmsdir.h
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
112
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
113 rem Create "makefile" from "makefile.in".
5486
c87d1cd3f62a *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5484
diff changeset
114 rm -f makefile junk.c
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
115 sed -e "1,/cpp stuff/s@^# .*$@@" <makefile.in >junk.c
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
116 gcc -E junk.c | sed -f ../msdos/sed1.inp >makefile
5486
c87d1cd3f62a *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5484
diff changeset
117 rm -f junk.c
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
118
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
119 if "%X11%" == "" goto src5
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
120 mv makefile makefile.tmp
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
121 sed -f ../msdos/sed1x.inp <makefile.tmp >makefile
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
122 rm -f makefile.tmp
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
123 :src5
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
124
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
125 if "%nodebug%" == "" goto src6
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
126 sed -e "/^CFLAGS *=/s/ *-g//" <makefile >makefile.tmp
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
127 mv -f makefile.tmp makefile
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
128 :src6
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
129 cd ..
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
130 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
131 Echo Configuring the library source directory...
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
132 cd lib-src
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
133 rem Create "makefile" from "makefile.in".
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
134 sed -e "1,/cpp stuff/s@^# .*$@@" <makefile.in >junk.c
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
135 gcc -E -I. -I../src junk.c | sed -e "s/^ / /" -e "/^#/d" -e "/^[ ]*$/d" >makefile.new
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
136 sed -f ../msdos/sed3.inp <makefile.new >makefile
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
137 rm -f makefile.new junk.c
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
138 if "%nodebug%" == "" goto libsrc2
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
139 sed -e "/^CFLAGS *=/s/ *-g//" <makefile >makefile.tmp
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
140 mv -f makefile.tmp makefile
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
141 :libsrc2
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
142 cd ..
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
143 rem ----------------------------------------------------------------------
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
144 if "%X11%" == "" goto oldx1
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
145 Echo Configuring the oldxmenu directory...
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
146 cd oldxmenu
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
147 sed -f ../msdos/sed5x.inp <makefile.in >makefile
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
148 if "%nodebug%" == "" goto oldx2
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
149 sed -e "/^CFLAGS *=/s/ *-g//" <makefile >makefile.tmp
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
150 mv -f makefile.tmp makefile
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
151 :oldx2
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
152 cd ..
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
153 :oldx1
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
154 rem ----------------------------------------------------------------------
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
155 Echo Configuring the main directory...
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
156 copy msdos\mainmake makefile >nul
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
157 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
158 :end
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
159 set X11=
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
160 set nodebug=