diff options
Diffstat (limited to 'devtools/load-devel-config')
| -rw-r--r-- | devtools/load-devel-config | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/devtools/load-devel-config b/devtools/load-devel-config new file mode 100644 index 00000000..4f43cb35 --- /dev/null +++ b/devtools/load-devel-config @@ -0,0 +1,12 @@ +# 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 |