From ade8367e053e550c664719437a5b383f70bd01a9 Mon Sep 17 00:00:00 2001 From: Anthony Scemama Date: Fri, 27 Apr 2018 19:04:37 +0200 Subject: [PATCH] Version 1.3.2 --- Makefile | 3 ++- version | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 88b078f..29ca5d1 100644 --- a/Makefile +++ b/Makefile @@ -28,12 +28,13 @@ include make.config .PHONY: default clean veryclean archive default: make.config - cd src && BUILD_SYSTEM=make $(MAKE) + cd src $(MAKE) clean: - bash -c "[[ -f lib/libezfio.a ]] && rm $$PWD/lib/*" - bash -c "[[ -f Python/ezfio.py ]] && rm $$PWD/Python/*" - bash -c "[[ -f Ocaml/ezfio.ml ]] && rm $$PWD/Ocaml/*" + - bash -c "[[ -f Bash/ezfio.sh ]] && rm $$PWD/Bash/*" - $(MAKE) -C $$PWD/src veryclean archive: distclean diff --git a/version b/version index f406e04..0c794cf 100644 --- a/version +++ b/version @@ -1 +1 @@ -VERSION=1.3.1 +VERSION=1.3.2