Update references to generate-ptr-def.sh

Open mszabo-wikia opened this issue 2 weeks ago • 3 comments

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

Dec 03 '25 22:12 mszabo-wikia

@mszabo-wikia has updated the pull request. You must reimport the pull request before landing.

Dec 04 '25 02:12 facebook-github-bot

@facebook-github-bot has imported this pull request. If you are a Meta employee, you can view this in D88306595. (Because this pull request was imported automatically, there will not be any future comments.)

Dec 04 '25 02:12 meta-codesync[bot]

@mszabo-wikia has updated the pull request. You must reimport the pull request before landing.

Dec 10 '25 11:12 facebook-github-bot

This pull request has been merged in facebook/hhvm@7f16bdc9ba5dbf700f88bce1b7443cf3072e0a8f.

Dec 12 '25 12:12 meta-codesync[bot]