diff options
| author |  diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2006-01-04 15:54:47 +0000 |
|---|---|---|
| committer | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2006-01-04 15:54:47 +0000 |
| commit | 5081060d663713c4fdc686aad01e44e723452e74 (patch) | |
| tree | abeba3d8ef92fa9f154beb9b3518071e89f1f012 /Gui/mplayer/play.h | |
| parent | ac5044a2d441916a24666cb8d136c398adc6b36e (diff) | |
Bandaid fix for compilation failure when creating main/.depend with GUI
enabled. This is only a problem if .developer is not present.
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@17315 b3059339-0415-0410-9bf9-f77b7e298cf2
Diffstat (limited to 'Gui/mplayer/play.h')
| -rw-r--r-- | Gui/mplayer/play.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Gui/mplayer/play.h b/Gui/mplayer/play.h index 97810e3be9..60317cd479 100644 --- a/Gui/mplayer/play.h +++ b/Gui/mplayer/play.h @@ -2,7 +2,7 @@ #ifndef __GUI_PLAY_H #define __GUI_PLAY_H -#include "../config.h" +#include "../../config.h" #include "./mplayer.h" |