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