diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-01-16 16:37:29 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-01-16 16:37:29 +0100 |
| commit | 58f6c7b5f4935fe9aca0eceb4ce8684d9816c7b5 (patch) | |
| tree | fcaf54aa5e4710368ee0db8f93240e87f4c030c5 /Makefile.extr | |
| parent | b3f8438c6224f537ba7a84580f432c40a63a481c (diff) | |
| download | compcert-58f6c7b5f4935fe9aca0eceb4ce8684d9816c7b5.tar.gz compcert-58f6c7b5f4935fe9aca0eceb4ce8684d9816c7b5.zip | |
Replaced 8 spaces by tabs.
Diffstat (limited to 'Makefile.extr')
| -rw-r--r-- | Makefile.extr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.extr b/Makefile.extr index 2d429f76..2afd6e31 100644 --- a/Makefile.extr +++ b/Makefile.extr @@ -157,7 +157,7 @@ clean: for d in $(ALLDIRS); do rm -f $$d/*.cm[iox] $$d/*.o; done cleansource: - rm -f $(EXECUTABLES) + rm -f $(EXECUTABLES) for d in $(ALLDIRS); do rm -f $$d/*.cm[iox] $$d/*.o; done # Generation of .depend.extr |