diff options
Diffstat (limited to 'bin/ptxdist')
-rwxr-xr-x | bin/ptxdist | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 176af2dbf..893c6382b 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -907,6 +907,8 @@ Misc: print <var> 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 <pkg> <directory> overwrite a package source with a locally provided + directory containing the sourcecode. bash enter a ptxdist environment bash shell bash <cmd> [args...] execute <cmd> in ptxdist environment export_src <target dir> 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 "${@}" |