tree e2a471aa3ca7f91259cab6bf287e583fb6459380
parent 710ea2e7ab9e97db18b4780888c9e052de52f2f5
author Marc Kupietz <kupietz@ids-mannheim.de> 1785678447 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1785678447 +0200

Do not tell people to cd into a build directory that may not exist

The recipe ended with "cd ../collocatordb/build", which assumes that the two
repositories are next to each other and that the build directory already
exists. When that cd fails one stays in the rocksdb sources, and the cmake call
after it configures something else entirely, which then shows up as

  make: *** No targets specified and no makefile found.  Stop.

cmake -S <sources> -B <build directory> says both explicitly and works from
wherever one happens to stand.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Change-Id: I8c9b24c7de4c95f102d974521fc06753979e8298