annotate nt/envadd.bat @ 94415:8173b23112ae

(reftex-isearch-switch-to-next-file): Remove un-needed local `orig-list'. Replace cl `copy-list'.
author Glenn Morris <rgm@gnu.org>
date Sun, 27 Apr 2008 18:42:45 +0000
parents e27f17d9c8ed
children 188974bfdea0
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
52423
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
1 rem Hack to change/add environment variables in the makefiles for the
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
2 rem Windows platform.
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
3 rem
79730
e27f17d9c8ed Add 2008 to copyright years.
Glenn Morris <rgm@gnu.org>
parents: 78246
diff changeset
4 rem Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008 Free Software Foundation, Inc.
52423
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
5 rem
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
6 rem This file is part of GNU Emacs.
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
7 rem
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
8 rem GNU Emacs is free software; you can redistribute it and/or modify
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
9 rem it under the terms of the GNU General Public License as published by
78246
075eb71f218d Switch license to GPLv3 or later.
Glenn Morris <rgm@gnu.org>
parents: 75348
diff changeset
10 rem the Free Software Foundation; either version 3, or (at your option)
52423
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
11 rem any later version.
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
12 rem
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
13 rem GNU Emacs is distributed in the hope that it will be useful,
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
14 rem but WITHOUT ANY WARRANTY; without even the implied warranty of
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
15 rem MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
16 rem GNU General Public License for more details.
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
17 rem
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
18 rem You should have received a copy of the GNU General Public License
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
19 rem along with GNU Emacs; see the file COPYING. If not, write to
64083
23a17af379b1 Update FSF's address.
Lute Kamstra <lute@gnu.org>
parents: 52428
diff changeset
20 rem the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
23a17af379b1 Update FSF's address.
Lute Kamstra <lute@gnu.org>
parents: 52428
diff changeset
21 rem Boston, MA 02110-1301, USA.
52423
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
22 rem
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
23 rem
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
24 rem Usage:
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
25 rem envadd "ENV1=VAL1" "ENV2=VAL2" ... /C <command line>
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
26 rem
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
27 rem The "/C" switch marks the end of environment variables, and the
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
28 rem beginning of the command line.
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
29 rem
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
30 rem By Peter 'Luna' Runestig <peter@runestig.com> 2003
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
31
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
32 :Loop
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
33 if .%1% == ./C goto EndLoop
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
34 rem just to avoid an endless loop:
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
35 if .%1% == . goto EndLoop
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
36 set %1
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
37 shift
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
38 goto Loop
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
39 :EndLoop
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
40
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
41 rem Eat the "/C"
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
42 shift
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
43 rem Now, run the command line
d5ad9d67bb1a New file.
Jason Rumney <jasonr@gnu.org>
parents:
diff changeset
44 %1 %2 %3 %4 %5 %6 %7 %8 %9
52428
27bc8b966642 Add arch taglines
Miles Bader <miles@gnu.org>
parents: 52425
diff changeset
45
27bc8b966642 Add arch taglines
Miles Bader <miles@gnu.org>
parents: 52425
diff changeset
46 goto skipArchTag
27bc8b966642 Add arch taglines
Miles Bader <miles@gnu.org>
parents: 52425
diff changeset
47 arch-tag: 148c5181-dbce-43ae-bba6-1cc6e2a9ea75
27bc8b966642 Add arch taglines
Miles Bader <miles@gnu.org>
parents: 52425
diff changeset
48 :skipArchTag