37 |
@echo '# edit the last section' >> $@-t |
@echo '# edit the last section' >> $@-t |
38 |
@echo 'set tool $(DEJATOOL)' >> $@-t |
@echo 'set tool $(DEJATOOL)' >> $@-t |
39 |
@echo "set top_srcdir `cd $(top_srcdir); pwd`" >> $@-t |
@echo "set top_srcdir `cd $(top_srcdir); pwd`" >> $@-t |
40 |
|
@echo "set top_builddir `cd $(top_builddir); pwd`" >> $@-t |
41 |
@echo "set srcdir `cd $(srcdir); pwd`" >> $@-t |
@echo "set srcdir `cd $(srcdir); pwd`" >> $@-t |
42 |
@echo 'set objdir' `pwd` >> $@-t |
@echo 'set objdir' `pwd` >> $@-t |
43 |
@echo 'set host_alias "$(host_alias)"' >> $@-t |
@echo 'set host_alias "$(host_alias)"' >> $@-t |