From 5902824fec0b0e3814994517ebb20411dd4615a6 Mon Sep 17 00:00:00 2001 From: Sascha Hauer Date: Wed, 26 Feb 2014 15:13:16 +0100 Subject: ptxdist: Add local-src command Signed-off-by: Sascha Hauer Signed-off-by: Michael Olbrich --- bin/ptxdist | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'bin') diff --git a/bin/ptxdist b/bin/ptxdist index 176af2dbf..893c6382b 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -907,6 +907,8 @@ Misc: print print the contents of a variable, in the way it is known by "make" list-packages print a list of all selected packages + local-src overwrite a package source with a locally provided + directory containing the sourcecode. bash enter a ptxdist environment bash shell bash [args...] execute in ptxdist environment export_src export all source archives needed for this @@ -1819,6 +1821,11 @@ EOF echo $i done | sort ;; + local-src) + check_config && + ptxd_lib_local_src "${@}" + exit + ;; make) check_premake_compiler && ptxd_make_log "${@}" -- cgit v1.2.3