diff options
| author | Max Kellermann <max@musicpd.org> | 2020-10-28 14:24:57 +0100 |
|---|---|---|
| committer | Max Kellermann <max@musicpd.org> | 2020-10-28 14:24:58 +0100 |
| commit | b5673b633347d1dc5d717c8869e00b6de6f80031 (patch) | |
| tree | a782e4506745c5f98575c81841b618a3db07a430 /src/db/plugins/simple | |
| parent | ee802867dfa5d03b3c5e0fe4cebdaf2f6280c15b (diff) | |
db/simple/Directory: add `pure` attribute
Diffstat (limited to 'src/db/plugins/simple')
| -rw-r--r-- | src/db/plugins/simple/Directory.hxx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/db/plugins/simple/Directory.hxx b/src/db/plugins/simple/Directory.hxx index ea14420d0..1479b578a 100644 --- a/src/db/plugins/simple/Directory.hxx +++ b/src/db/plugins/simple/Directory.hxx @@ -137,6 +137,7 @@ public: * (e.g. #DEVICE_PLAYLIST) and whether the underlying plugin * is available. */ + gcc_pure bool IsPluginAvailable() const noexcept; /** |