diff options
| author | Tim O'Shea | 2013-03-04 15:44:00 -0500 |
|---|---|---|
| committer | Johnathan Corgan | 2013-03-14 11:09:42 -0700 |
| commit | 710001569402ac3b5f5768b30d0e48a13170c37a (patch) | |
| tree | d619498b27df698498da923005aa1b43701986f7 /gnuradio-core | |
| parent | 7ebec8cc4b5e3a9eb480e3f954f9425d92e73a18 (diff) | |
| download | gnuradio-710001569402ac3b5f5768b30d0e48a13170c37a.tar.gz gnuradio-710001569402ac3b5f5768b30d0e48a13170c37a.tar.bz2 gnuradio-710001569402ac3b5f5768b30d0e48a13170c37a.zip | |
core: boost::filename3::path::/ operator works on older boost verions than /=
Diffstat (limited to 'gnuradio-core')
| -rw-r--r-- | gnuradio-core/src/lib/general/gr_prefs.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnuradio-core/src/lib/general/gr_prefs.cc b/gnuradio-core/src/lib/general/gr_prefs.cc index 7e48e3486..9705eed4f 100644 --- a/gnuradio-core/src/lib/general/gr_prefs.cc +++ b/gnuradio-core/src/lib/general/gr_prefs.cc @@ -83,7 +83,7 @@ gr_prefs::_sys_prefs_filenames() // beginning of the file list to override any preferences in the // installed path config files. fs::path homedir = fs::path(gr_appdata_path()); - homedir /= ".gnuradio/config.conf"; + homedir = homedir/".gnuradio/config.conf"; if(fs::exists(homedir)) { fnames.insert(fnames.begin(), homedir.string()); } |