diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-10-04 11:27:31 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-10-04 11:27:31 +0000 |
| commit | 5afdb7e11bb55eddf3c0875a6859e5280691e8f9 (patch) | |
| tree | 7463775b3780c0404b3e33bcfed62d19174942ae | |
| parent | ea700323abe1e1b6bb48ed68a0243c22728ae11b (diff) | |
make lib in src/Makefile
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 6a54fdf09..dd6a2faea 100644 --- a/src/Makefile +++ b/src/Makefile @@ -213,7 +213,7 @@ gfcc2c: # lib: - $(MAKE) -C ../lib/resource-1.0 clean compiled + $(MAKE) -C ../lib/resource-1.0 clean new # # Distribution |