~ubuntu-branches/ubuntu/intrepid/mit-scheme/intrepid-updates

« back to all changes in this revision

Viewing changes to src/etc/Stage.sh

• browse files at revision 1
• compare with another revision
• download diff
• download tarball
• view history from revision 1

Show diffs side-by-side

added

removed

src/etc/Stage.sh

 

1

#!/bin/sh

 

2

#

 

3

# $Id: Stage.sh,v 1.3 2001/10/09 21:17:25 cph Exp $

 

4

#

 

5

# Copyright (c) 2000, 2001 Massachusetts Institute of Technology

 

6

#

 

7

# This program is free software; you can redistribute it and/or modify

 

8

# it under the terms of the GNU General Public License as published by

 

9

# the Free Software Foundation; either version 2 of the License, or (at

 

10

# your option) any later version.

 

11

#

 

12

# This program is distributed in the hope that it will be useful, but

 

13

# WITHOUT ANY WARRANTY; without even the implied warranty of

 

14

# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU

 

15

# General Public License for more details.

 

16

#

 

17

# You should have received a copy of the GNU General Public License

 

18

# along with this program; if not, write to the Free Software

 

19

# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA

 

20

# 02111-1307, USA.

 

21

 

 

22

# Utility for MIT Scheme compiler staging.

 

23

 

 

24

if [ $# -ne 2 ]; then

 

25

    echo "usage: $0 <command> <tag>"

 

26

    exit 1

 

27

fi

 

28

 

 

29

DIRNAME="STAGE${2}"

 

30

 

 

31

case "${1}" in

 

32

make)

 

33

    mkdir "${DIRNAME}" && mv -f *.com *.bci "${DIRNAME}/."

 

34

    ;;

 

35

unmake)

 

36

    mv -f "${DIRNAME}"/* . && rmdir "${DIRNAME}"

 

37

    ;;

 

38

remove)

 

39

    rm -rf "${DIRNAME}"

 

40

    ;;

 

41

copy)

 

42

    cp "${DIRNAME}"/* .

 

43

    ;;

 

44

link)

 

45

    ln "${DIRNAME}"/* .

 

46

    ;;

 

47

*)

 

48

    echo "$0: Unknown command ${1}"

 

49

    exit 1

 

50

    ;;

 

51

esac

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1