From eb2ac100241d04561409656a9b63df3a6e3a1437 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Thu, 7 Dec 2017 16:54:15 -0500 Subject: [PATCH] Replace the "all" script with a makefile that constructs it. --- .gitignore | 1 + all | 10 ---------- makefile | 7 +++++++ 3 files changed, 8 insertions(+), 10 deletions(-) create mode 100644 .gitignore delete mode 100644 all create mode 100644 makefile diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..0702cb5 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +all diff --git a/all b/all deleted file mode 100644 index 573055e..0000000 --- a/all +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash - -me="${BASH_SOURCE[0]}" -mydir="${me%/*}" - -for script in "${mydir}"/*; do - [ "${script}" == "$me" ] && continue - - source "${script}" -done diff --git a/makefile b/makefile new file mode 100644 index 0000000..2456a3d --- /dev/null +++ b/makefile @@ -0,0 +1,7 @@ +SRCS = aliases compilation options sage + +all: $(SRCS) + cat $(SRCS) > $@ + +clean: + rm -f all -- 2.44.2