Update references to generate-ptr-def.sh

This file was renamed in D78750097.
Update the build system accordingly.

Author: mszabo-wikia

hphp/util/CMakeLists.txt

@@ -29,12 +29,12 @@ list(REMOVE_ITEM HEADER_SOURCES
 )
 
 add_custom_command(
-  OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/low-ptr-def.h
-  COMMAND INSTALL_DIR=${CMAKE_CURRENT_BINARY_DIR} bash ${CMAKE_CURRENT_SOURCE_DIR}/../tools/generate-low-ptr.sh ignored
-  DEPENDS ${CMAKE_CURRENT_SOURCE_DIR}/../tools/generate-low-ptr.sh
+  OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/ptr-def.h
+  COMMAND INSTALL_DIR=${CMAKE_CURRENT_BINARY_DIR} bash ${CMAKE_CURRENT_SOURCE_DIR}/../tools/generate-ptr-def.sh ignored
+  DEPENDS ${CMAKE_CURRENT_SOURCE_DIR}/../tools/generate-ptr-def.sh
 )
 
-list(APPEND HEADER_SOURCES ${CMAKE_CURRENT_BINARY_DIR}/low-ptr-def.h)
+list(APPEND HEADER_SOURCES ${CMAKE_CURRENT_BINARY_DIR}/ptr-def.h)
 
 HHVM_PUBLIC_HEADERS(util ${HEADER_SOURCES})