diff options
Diffstat (limited to 'utilities/ovs-dev.py')
| -rwxr-xr-x | utilities/ovs-dev.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utilities/ovs-dev.py b/utilities/ovs-dev.py index 31621f452..9188d732b 100755 --- a/utilities/ovs-dev.py +++ b/utilities/ovs-dev.py @@ -24,7 +24,7 @@ ENV = os.environ HOME = ENV["HOME"] PWD = os.getcwd() OVS_SRC = HOME + "/ovs" -if os.path.exists(PWD + "/WHY-OVS.md"): +if os.path.exists(PWD + "/WHY-OVS.rst"): OVS_SRC = PWD # Use current directory as OVS source tree RUNDIR = OVS_SRC + "/_run" BUILD_GCC = OVS_SRC + "/_build-gcc" |