From a6be13ac7e682497ef15cf3bdc22d32ea2cd927d Mon Sep 17 00:00:00 2001 From: kakadu Date: Thu, 20 Feb 2020 15:49:05 +0300 Subject: [PATCH] Polish Makefile a bit --- Makefile | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/Makefile b/Makefile index af782a81b..cc6a50790 100644 --- a/Makefile +++ b/Makefile @@ -6,9 +6,9 @@ SHELL := /bin/bash .PHONY: all regression all: - pushd src && make && popd - pushd runtime && make && popd - pushd stdlib && make && popd + make -C src + make -C runtime + make -C stdlib STD_FILES=$(shell ls stdlib/*.[oi] stdlib/*.lama runtime/runtime.a runtime/Std.i) #$(info $(STD_FILES)) @@ -23,14 +23,14 @@ uninstall: $(RM) `opam var bin`/$(EXECUTABLE) regression: - pushd regression && make clean check && popd - pushd regression/x86only && make clean check && popd - pushd stdlib/regression && make clean check && popd + make clean check -C regression + make clean check -C regression/x86only + make clean check -C stdlib/regression clean: - pushd src && make clean && popd - pushd runtime && make clean && popd - pushd stdlib && make clean && popd - pushd regression && make clean && popd + make clean -C src + make clean -C runtime + make clean -C stdlib + make clean -C regression