9a98f50e89
The remaining scripts in the scripts/ directory are only useful to developers. That's why devtools/ is a better name. Signed-off-by: Thomas Monjalon <thomas.monjalon@6wind.com> Tested-by: Ferruh Yigit <ferruh.yigit@intel.com>
13 lines
420 B
Plaintext
13 lines
420 B
Plaintext
# Load DPDK devel config and allow override
|
|
# from system file
|
|
test ! -r /etc/dpdk/devel.config ||
|
|
. /etc/dpdk/devel.config
|
|
# from user file
|
|
test ! -r ~/.config/dpdk/devel.config ||
|
|
. ~/.config/dpdk/devel.config
|
|
# from local file
|
|
test ! -r $(dirname $(readlink -m $0))/../.develconfig ||
|
|
. $(dirname $(readlink -m $0))/../.develconfig
|
|
|
|
# The config files must export variables in the shell style
|