Fix behavior of simultaneous "make" and "make dist".
[sliver-openvswitch.git] / extras /
drwxr-xr-x   ..
drwxr-xr-x - ezio