Skip to content

Commit a68ec34

Browse files
committed
Indent some of the inline shell scripts in src_ext/Makefile
1 parent 34d6345 commit a68ec34

File tree

1 file changed

+12
-13
lines changed

1 file changed

+12
-13
lines changed

src_ext/Makefile

Lines changed: 12 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -136,25 +136,24 @@ GET_ARCHIVE=\
136136
rm -rf "tmp-$*"
137137
@if [ -d patches/$* ]; then \
138138
cd $* && \
139-
for p in ../patches/$*/*.patch; do \
140-
$(PATCH) -p1 < $$p $(if $(SILENT),> /dev/null); \
141-
done; \
142-
fi
139+
for p in ../patches/$*/*.patch; do \
140+
$(PATCH) -p1 < $$p $(if $(SILENT),> /dev/null); \
141+
done; \
142+
fi
143143
@if [ "$*" != "dune-local" ] ; then \
144-
for j in $(wildcard dune-$* dune-$*-*); do \
145-
cp $$j $*$$(echo "$$j" | sed -e "s/dune-$*//" -e "s|-|/|g")/dune; \
146-
echo "(lang dune 1.2)" > $*/dune-project; \
147-
echo "(name $*)" >> $*/dune-project; \
148-
touch $*/$*.opam; \
149-
done; \
150-
fi
144+
for j in $(wildcard dune-$* dune-$*-*); do \
145+
cp $$j $*$$(echo "$$j" | sed -e "s/dune-$*//" -e "s|-|/|g")/dune; \
146+
echo "(lang dune 1.2)" > $*/dune-project; \
147+
echo "(name $*)" >> $*/dune-project; \
148+
touch $*/$*.opam; \
149+
done; \
150+
fi
151151
@touch $@
152152

153153
clean:
154154
@
155155

156156
distclean: clean
157157
rm -rf dune-local secondary $(SRC_EXTS)
158-
rm -f *.tar.gz *.tbz *.*stamp *.*download dune \
159-
Makefile.config
158+
rm -f *.tar.gz *.tbz *.*stamp *.*download dune Makefile.config
160159
[ -d archives ] && ([ "$$(find archives -maxdepth 0 -type d -empty)" != "" ] && rmdir archives || echo "WARNING! $$(pwd)/archives/ not empty so left") || true

0 commit comments

Comments
 (0)