diff --git a/eclipse-cdt-cdtdebug.patch b/eclipse-cdt-cdtdebug.patch index 36160c0..9a8052f 100644 --- a/eclipse-cdt-cdtdebug.patch +++ b/eclipse-cdt-cdtdebug.patch @@ -11,7 +11,7 @@ +os=$( ( . /etc/os-release ; echo $ID ) ) +if [ "$os" = "rhel" -o "$os" = "centos" ] ; then + configdir=rhcdtdebugger -+ configdir=workspace-rhcdtdebug ++ workspace=workspace-rhcdtdebug +fi +if [ $0 -nt "$HOME/$configdir" ]; then + rm -rf $HOME/$configdir >/dev/null