diff options
author | Brian Paul <brian.paul@tungstengraphics.com> | 2004-03-26 21:38:45 +0000 |
---|---|---|
committer | Brian Paul <brian.paul@tungstengraphics.com> | 2004-03-26 21:38:45 +0000 |
commit | df8bc572587f04b29055bb3a36f8c3b724c63b96 (patch) | |
tree | 332a22d8fb9d7d8d1608e7a2419b7bd33bd8d194 /progs/Makefile | |
parent | d6de4d8b33e72cde9f5f14c0d2d21071ea007fc2 (diff) |
Don't use pushd/popd.
Diffstat (limited to 'progs/Makefile')
-rw-r--r-- | progs/Makefile | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/progs/Makefile b/progs/Makefile index f925de5860..6870630eb5 100644 --- a/progs/Makefile +++ b/progs/Makefile @@ -10,9 +10,7 @@ SUBDIRS = $(PROGRAM_DIRS) default: $(TOP)/configs/current @for dir in $(SUBDIRS) ; do \ if [ -d $$dir ] ; then \ - pushd $$dir ; \ - make ; \ - popd ; \ + (cd $$dir ; make) ; \ fi \ done @@ -20,8 +18,6 @@ default: $(TOP)/configs/current clean: @for dir in $(SUBDIRS) ; do \ if [ -d $$dir ] ; then \ - pushd $$dir ; \ - make clean; \ - popd ; \ + (cd $$dir ; make clean) ; \ fi \ done |