diff options
author | Rolf Eike Beer <eike-kernel@sf-tec.de> | 2017-11-07 21:19:48 +0100 |
---|---|---|
committer | Helge Deller <deller@gmx.de> | 2017-11-07 21:47:10 +0100 |
commit | 825093d1e57ca4afe3565785c860831e5486c1a3 (patch) | |
tree | eb61367bc62881bd4211177957d81f99794c011f | |
parent | 11a7d126ae350123acb3c65ea886b8a1abb56d6b (diff) | |
download | palo-825093d1e57ca4afe3565785c860831e5486c1a3.tar.gz |
Allow to override ar
Taken from Gentoo patch to palo.
Signed-off-by: Rolf Eike Beer <eike-kernel@sf-tec.de>
Signed-off-by: Helge Deller <deller@gmx.de>
-rw-r--r-- | palo/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/palo/Makefile b/palo/Makefile index 6d2e15e..f01db01 100644 --- a/palo/Makefile +++ b/palo/Makefile @@ -38,7 +38,7 @@ palo: palo.a $(CC) $(CFLAGS) $(LDFLAGS) -o palo palo.a build.o palo.a: $(OFILES) - ar rv palo.a $? + $(AR) rv palo.a $? mkbootable: $(OFILES2) $(CC) $(CFLAGS) $(LDFLAGS) -o mkbootable $(OFILES2) |