diff options
| author | [email protected] <unknown> | 2006-08-07 08:45:47 +0200 |
|---|---|---|
| committer | [email protected] <unknown> | 2006-08-07 08:45:47 +0200 |
| commit | 4c7866ec55d284e8a29ca682ab79c11893a9cb6c (patch) | |
| tree | f59553fac620a337353e1bd029b552fe92a4e35a | |
| parent | fixed a bad mistake setting the dmenu border to False; (diff) | |
| download | dmenu-4c7866ec55d284e8a29ca682ab79c11893a9cb6c.tar.gz dmenu-4c7866ec55d284e8a29ca682ab79c11893a9cb6c.tar.bz2 dmenu-4c7866ec55d284e8a29ca682ab79c11893a9cb6c.zip | |
added stripping to dmenu target
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile index cbe4026..fc8dcd2 100644 --- a/Makefile +++ b/Makefile @@ -28,6 +28,7 @@ config.h: dmenu: ${OBJ} @echo LD $@ @${CC} -o $@ ${OBJ} ${LDFLAGS} + @strip $@ clean: @echo cleaning |