Ask Your Question

Revision history [back]

The output shows: Source Space: [exists] /home/emeric/src Log Space: [missing] /home/emeric/logs Build Space: [exists] /home/emeric/build Devel Space: [exists] /home/emeric/devel

which suggests there is a .catkin_tools dir in $HOME.

The output shows: shows:

Source Space:       [exists] /home/emeric/src
 Log Space:         [missing] /home/emeric/logs
 Build Space:        [exists] /home/emeric/build
 Devel Space:        [exists] /home/emeric/devel

/home/emeric/devel

which suggests there is a .catkin_tools dir in $HOME.

The output shows:

Source Space:       [exists] /home/emeric/src
Log Space:         [missing] /home/emeric/logs
Build Space:        [exists] /home/emeric/build
Devel Space:        [exists] /home/emeric/devel

which suggests there is a .catkin_tools dir in $HOME.

It's likely that you forgot to cd catkin_ws after having run mkdir -p catkin_ws/src.