Tom Stellard 91d51db800 Fixed ninja build issues relating to use of $(DESTDIR) ... We use ${DESTDIR} syntax now instead of $(DESTDIR) because that syntax works both is the shell (at least it does for bash) and for make (at least it does for GNU Make) Patch By: Dan Liew llvm-svn: 200414		2014-01-29 20:03:26 +00:00
..
metabuild.py	…
ninja_syntax.py	Fixed ninja build issues relating to use of $(DESTDIR)	2014-01-29 20:03:26 +00:00