diff options
author | Brian Paul <[email protected]> | 2008-05-27 13:45:16 -0600 |
---|---|---|
committer | Brian Paul <[email protected]> | 2008-05-27 13:45:16 -0600 |
commit | 3e4128963d4e1a27ef29658a3aa260f492091628 (patch) | |
tree | 3210f42c923570cc2f9e5f680b7f2efb99c44ca7 | |
parent | c6426c97b9fe2c8a3d00ca4e2fd306cce364832a (diff) |
pipe stderr to /dev/null
-rw-r--r-- | src/egl/main/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/egl/main/Makefile b/src/egl/main/Makefile index e6844d48524..e1058a23f70 100644 --- a/src/egl/main/Makefile +++ b/src/egl/main/Makefile @@ -61,7 +61,8 @@ depend: $(SOURCES) $(HEADERS) @ rm -f depend @ touch depend $(MKDEP) $(MKDEP_OPTIONS) $(DEFINES) $(INCLUDE_DIRS) \ - $(SOURCES) $(HEADERS) > /dev/null + $(SOURCES) $(HEADERS) > /dev/null 2>/dev/null + include depend # DO NOT DELETE |