diff --git a/docker_dev_start.py b/docker_dev_start.py
index 376f5ba25e429924632b3c9ecb980d61a6bfc6af_ZG9ja2VyX2Rldl9zdGFydC5weQ==..7a87a7532f034e112a42ed5afd95a7a647dc481e_ZG9ja2VyX2Rldl9zdGFydC5weQ== 100755
--- a/docker_dev_start.py
+++ b/docker_dev_start.py
@@ -494,6 +494,8 @@
             print('add redis host')
             options.append('--add-host')
             options.append('{}:{}'.format(redis_host, local_ip))
+    else:
+        _logger.info('No configuration file at: %s', local_conf_path)
     # default values if nothing else
     if not user:
         user = 'odoo'